机译:链空间和多集重写之间的安全协议分析比较
机译:联系多集重写和过程代数以进行安全协议分析
机译:多集重写和有限安全协议的复杂性
机译:STRAND空间与安全协议分析的多网重写比较
机译:开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
机译:Sentinel淋巴结中的转移检测:有限的广泛间隔(NSABP协议B-32)的比较以及综合狭窄的石蜡区块切片策略
机译:安全协议分析中Strand空间和多集重写之间的比较
机译:用于安全协议分析的strand空间与multiset重写的比较。